package sketch.experiment.sketchguidedrandom;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;
import sketch.ounit.fuzz.SketchGuidedRandomTestGenerator;

public class SketchGuidedJDTCoreTest extends TestCase {
	
	public static Test suite() {
		return new TestSuite(SketchGuidedJDTCoreTest.class);
	}
	
	public void testSimplestMulti() {
		String filePath = "./tmp/JDTCoreConstrainsTest.java";
		String junitclass = "JDTCoreConstrainsTest";
		int timelimit = 5;
		SketchGuidedRandomTestGenerator generator = new SketchGuidedRandomTestGenerator(filePath, junitclass, timelimit, timelimit);
		generator.setOutputPackageName("sketchguided.jdtcore.autogenerated");
		generator.generate_tests();
	}
	
}
